退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用B方法对GlobalPlatform卡规范进行形式化和验证
Santiago Zanella Béguelin;
机译:智能卡标准结合了GlobalPlatform规范
机译:GlobalPlatform发布卡规范v2.2
机译:开发符合GlobalPlatform规范的基于NICE的智能卡系统
机译:使用B方法正式化和验证GlobalPlatform卡规范
机译:Rosetta规范转换的自动验证方法
机译:以心脏模型为例验证3D打印解剖模型准确性的方法
机译:使用观点,用例和基于序列的规范方法开发和验证严格的规范
机译:部分规范验证和验证的形式化方法:案例研究
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。